翻訳と辞書 Words near each other ・ Model Wanted ・ Model warship combat ・ Model Wife ・ Model worker ・ Model X ・ Model Y ・ Model yacht ・ Model yachting ・ Model year ・ Model year (computer modeling) ・ Model, Colorado ・ Model, Masovian Voivodeship ・ Model-based definition ・ Model-based design ・ Model-based reasoning ・ Model-based specification ・ Model-based systems engineering ・ Model-based testing ・ Model-centered instruction ・ Model-dependent realism ・ Model-driven ・ Model-driven architecture ・ Model-driven engineering ・ Model-driven integration ・ Model-driven security ・ Model-driven software development ・ Model-Glue ・ Model-specific register ・ Model-tower, 1811 type ・ Modelbane Europa Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Model-based specification ： ウィキペディア英語版 Model-based specification Model-based specification is an approach to formal specification where the system specification is expressed as a system state model. This state model is constructed using well-understood mathematical entities such as sets and functions. System operations are specified by defining how they affect the state of the system model. The most widely used notations for developing model-based specifications are VDM and Z (pronounced Zed, not Zee). These notations are based on typed set theory. Systems are therefore modelled using sets and relations between sets. Another well-known approach to formal specification is algebraic specification. == See also == * Model-based design * Model-based testing 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Model-based specification」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.